I'd go with Blue Book or Edmunds value since it's in average shape. Based on Edmunds (just looked) it shows $5,000 for dealer retail. That's a starting point.
If you were thinking in that ballpark, good. If you were thinking 10k or more, then this serves as a reality check.